﻿Com o uso do comando logcontract, uma expressão como log(x)+log(y), usando propriedades, resulta em log(x*y)